amperes circuital law derivation